21. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
پدیدآورنده : sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2002
22. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics
رده :
QA
76
.
9
.
D35
.
I351
1995
23. Denotational semantics :
پدیدآورنده : David A. Schmidt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
S34
1986
24. Denotational semantics : the Scott-Strachey approach to programming language theory
پدیدآورنده : Stoy, Joseph
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S74
25. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
26. Fairness
پدیدآورنده : Francez, Nissim
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
27. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبان‌های برنامه‌نویسی کامپیوتر-- نحو ,زبان‌های برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
28. Formal semantics of Programming languages
پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
29. Formal syntax and semantics of Java
پدیدآورنده : Jim Alves-Foss )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1523
30. Formal syntax and semantics of Java
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
31. Formal syntax and semantics of programming languages : a laboratory based approach
پدیدآورنده : Slonneger, Kenneth.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
S59
1995
32. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
33. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
34. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
35. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie, 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
36. Full abstraction and semantic equivalence
پدیدآورنده : Mulmuley, Ketan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
M86
37. Initial computability, algebraic specifications, and partial algebras
پدیدآورنده : by Horst Reichel
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
رده :
QA
76
.
9
.
M35R45
1987
38. Introduction to natural language processing
پدیدآورنده : Harris, Mary Dee
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Interactive computer system,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
I58
H37
1985
39. Introduction to the theory of programming languages
پدیدآورنده : / by Bertrand Meyer and Societe des outils du logiciel
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)- Semantics
رده :
QA76
.
7
.
M49
1988
40. Introduction to the theory of programming languages
پدیدآورنده : Bertrand Meyer,Title
کتابخانه: (Mazandaran)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers(, Semantics
رده :
QA
.
M49
76
.
7
1988
